Job: An Object Oriented Extension of the Join Calculus
نویسنده
چکیده
منابع مشابه
On Implementing High Level Concurrency in Java
Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant language extension to express concurrency and synchronization. This language called Join Java has all the expressiveness of Object Oriented languages whilst offering the added benefit of superior synchronization and concurrency s...
متن کاملInformation Hiding in the Join Calculus
We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the context of an object-oriented extension of the Join calculus — a process calculus in the tradition of the π-calculus. In this extended abstract we focus on the class level and design a new hiding operation on classes, aimed at prev...
متن کاملSCHOOL: a Small Chorded Object-Oriented Language
Chords are a declarative synchronisation construct based on the Join calculus, available in the programming language Cω. Compared with synchronisation constructs in most imperative languages, chords promise development of programs that are more succinct, easier to read, and easier to reason about. However, to our knowledge, chords have no formal model in an object-oriented setting. In this pape...
متن کاملA Machine Model for Aspect-Oriented Programming
Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language they extend. While that model elegantly supports core object-oriented language mechanisms such as virtual method dispatch, it provides no direct support for core aspectoriented language mechanisms such as advice application. He...
متن کاملInheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a uniform manner, using asynchronous messages. Classes are partial message definitions that can be combined and transformed. We design operators for behavioral and synchronization inheritance. Our model is compatible wi...
متن کامل